Fundamenta Informaticae - PDFSEARCH.IO - Document Search Engine

Fundamenta Informaticae
Results: 47

#	Item
31	Fundamenta Informaticae XX–16 1 IOS Press Add to Reading List Source URL: wslc.math.ist.utl.pt Language: English - Date: 2006-02-09 08:47:35
32	Fundamenta Informaticae–IOS Press Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34
33	Fundamenta Informaticae XX–39 IOS Press A Subtyping for Extensible, Incomplete Objects To Helena Rasiowa: in memoriam Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:34:34 Object-oriented programming Computer programming Data types Polymorphism Subtype polymorphism Models of computation Type system Inheritance Objective-C Software engineering Type theory Computing
34	Curriculum Vitae ´ ski Damian Niwin JanuaryCurrent Position Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2012-01-12 19:14:06 Symposium on Theoretical Aspects of Computer Science Logic in computer science International Colloquium on Automata Languages and Programming Fundamenta Informaticae IEEE Symposium on Logic in Computer Science Lecture Notes in Computer Science Workshop on Logic Language Information and Computation Theoretical computer science Applied mathematics Computer science
35	Fundamenta Informaticae XX–25 1 IOS Press Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2008-09-11 08:40:30 Metric geometry Mathematical structures Functions and mappings Topological spaces Metric space Continuous function Hausdorff distance Homeomorphism Norm Topology Mathematics General topology
36	Fundamenta Informaticae XX–15 IOS Press Learning Sunspot Classification Trung Thanh Nguyen, Claire P. Willis, Derek J. Paddon Department of Computer Science, University of Bath Add to Reading List Source URL: gloria-project.eu Language: English - Date: 2013-10-21 09:02:36 Astronomy Cluster analysis Sun Statistics Sunspot Vortices
37	DOMENIUL INFORMATICA Autori Titlu Revista/Editura Add to Reading List Source URL: www.unibuc.ro Language: English - Date: 2011-06-27 08:52:40 Many-valued logic Artificial neural network Applied mathematics Science Computer science Neural networks Theoretical computer science Fundamenta Informaticae
38	Fundamenta Informaticae XXI–IOS Press Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2007-08-15 03:03:16 Computing Standard ML Pointer Programming language semantics Software engineering Functional languages Computer programming
39	Fundamenta Informaticae XX[removed]–31 1 IOS Press Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2010-07-20 09:14:49 Type theory Data types Functional programming Functional languages Dependently typed programming Dependent type Lock Generalized algebraic data type Concurrent computing Computing Software engineering Programming language theory
40	Fundamenta Informaticae[removed]{14 IOS Press 1 Meta-Queries on Deductive Databases Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:04:30 Predicate logic Rules of inference First-order logic Model theory Resolution FO Generalization Universal quantification Horn clause Logic Mathematical logic Mathematics